منابع مشابه
Complexity of Prioritized Default Logics
In default reasoning, usually not all possible ways of resolving conflicts between default rules are acceptable. Criteria expressing acceptable ways of resolving the conflicts may be hardwired in the inference mechanism, for example specificity in inheritance reasoning can be handled this way, or they may be given abstractly as an ordering on the default rules. In this article we investigate fo...
متن کاملThe Complexity of Model Checking for Propositional Default Logics
Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional interpretation is a model of a default theory for some of the variants of default logic presented in the literature. We prove that all the analyzed variants have the same complexity and that this problem is in general Σp2 complet...
متن کاملIt's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics
Jonathan S tillman Artificial Intelligence Program General Electric Research and Development Center P.O. Box 8 Schenectady, N.Y. 12301 e-mail: [email protected] Abstract We investigate the computational complexity of membership problems in a number of propositional default logics. We introduce a hierarchy of classes of propositional default rules that extends that described in [Kautz and Selm...
متن کاملReasoning about Actions in Prioritized Default Theory
This paper shows how action theory in the language B can be naturally encoded using prioritized default theory. We also show how prioritized default theory can be extended to express preferences between rules and formulae. This extension provides a natural framework to introduce preferences over trajectories in B. We illustrate how these preferences can be expressed and how they can be represen...
متن کاملPrioritized Default Logic with Trust Values
A drawback of traditional default logic is that there is no general mechanism for preferring one default rule over another. To remedy this problem, numerous default logics augmented with priority relations have been introduced. In this paper, we show how trust values, derived from web-based social networks, can be used to prioritize defaults. We provide a coupling between the method for computi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 1998
ISSN: 1076-9757
DOI: 10.1613/jair.554